Identités psychophysiques et inférence à la meilleure explication

Exploration et inférence du réseau de régulation de la transcription de la bactérie symbiotique intracellulaire à génome réduit Buchnera aphidicola

Inférence grammaticale et grammaires catégorielles: vers la Grande Unification!

Résumé : Dans cet article, nous proposons de comparer les techniques employées en inférence grammaticale de langages réguliers par exemples positifs avec celles employées pour l’inférence de grammaires catégorielles. Pour cela, nous commençons par étudier la traduction entre automates et grammaires catégorielles, et inversement. Nous montrons ensuite que l’opérateur de généralisation utilisé po...

Choisir la meilleure configuration d'un système de recherche d'information. Adaptation à la difficulté du besoin

RÉSUMÉ. Les campagnes telles que Text REtrieval Conference (TREC) offrent un cadre qui permet d’évaluer des systèmes de recherche d’information (RI). L’évaluation utilise des mesures qui se basent sur une moyenne des résultats obtenus pour un ensemble de besoins en information : les succès et échecs sur chacun des besoins sont masqués. Dans un premier temps, cet article propose une analyse qui ...

De la linguistique descriptive à la linguistique appliquée en côte d’ivoire: analyse et propositions

4 مجله مطالعات زبان فرانسه، سال پنجم، شماره 8، بهار و تابستان 1392 گذار از زبانشناسی توصیفی به زبانشناسی کاربردی در کشور ساحل عاج: تحلیل و راهکارها پییر آدو کواکو کوادیو دانشگاه فلیکس هوفاعه بوانی، آبیجان -کوکودی، ساحل عاج [email protected] 1392/5/ 1391 تاریخ پذیرش: 23 /10/ تاریخ دریافت: 28 این مقاله در نظر دارد تحلیلی انتقادی از کاربستهای زبانشناسی کاربردی در ساحل عاج ارایه کند. در آفریقا، علیر...

Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML

One should not underestimate the import of being able to verify the conformance between a program and its specification. Furthermore, being able to verify it using a dedicated program allows one to check the correctness of this verification. For this purpose, one uses proof assistants, which are programs that allows to describe the problem, build proofs, then check them. There are more than one...